solve a proportion